扫描下载APP
其它方式登录
谷歌发布新旗舰大模型Gemini 4 Argon，主打企业级长链路任务处理能力，在软件工程、金融法律、科研等硬核场景表现突出，支持百万级token跨请求续写；但其在精细交互、物理模拟等任务中表现不佳，输出token消耗高导致实际成本反超竞品，首发低价策略实为吸引企业接入生态的短期引流手段。
谷歌发布新一代旗舰推理模型Gemini 4 Argon，全球开放API调用与订阅服务，主打长程深度任务，单次输出上限达100万Token；首发价每百万输入Token仅2美元，为竞品Astra的五分之一，以价格战重塑AI御三家格局；强调内部实测验证与安全能力，目标是通过低价高质模型抢占生态入口。
谷歌发布新一代旗舰基座模型Gemini 4 Argon，支持百万级上下文、多模态推理与具身智能，显著提升长程软件工程、科学计算及机器人仿真能力；API限时半价、缓存成本直降95%，已在Chrome架构重构、Gemma推理优化、人形机器人投掷控制等真实场景落地验证。
Ayush Khaitan团队联合NVIDIA Humanfia及丘成桐弟子周培能等学者，首次在Lean定理证明器中完成Thurston几何化猜想的完整形式化验证，生成470万行无错代码，标志AI正式进入高阶微分几何与拓扑学验证的‘无人区’。
陶哲轩等数学家对AI批量生成数学证明引发的可靠性危机深感忧虑，核心矛盾在于AI虽能高速产出证明，但形式化验证工具Lean存在健全性漏洞，且人类正丧失审核、理解与负责能力，数学面临‘证明消化不良’和价值根基动摇的风险。
谷歌Gemini 4系列模型正密集内测，除已官宣的旗舰模型Argon外，内部代号Carbon、Barium等新版本陆续曝光，其中Carbon在编程任务上获员工好评，称其表现接近Claude Opus 5.5；同时Gemini 4 Flash也现身SDK，但免费用户访问权限被大幅收紧，模型订阅体系升级。
谷歌下一代大模型Gemini 4 Argon已对部分Pro用户开放，深度集成于Google Cloud、编程工具Antigravity及AI管家Concierge，具备自主代码提交、大规模代码库迁移和量子计算辅助等突破性能力，标志着AI从辅助工具向自主智能体范式转变。
OpenAI撤回3篇AI数学论文，因其中一篇关于霍奇猜想的论文关键处正负号错误导致逻辑崩溃，连带影响另两篇引用该构造的论文；同时修订14篇、更新引用13篇，当前719篇手稿中约42%主结果已完成Lean形式化验证，未形式化部分更易出错。
10个Claude Sonnet 5.5智能体通宵15小时，通过自主协作、形式化建模与Lean代码验证，首次完成汤姆逊问题N=7（7个电子在球面上最低能量构型）的严格数学证明，攻克这一悬而未决122年的物理数学难题，标志AI从解题迈向自主科研。
丘成桐弟子Ben Chow带领四人团队，联合AI工具（ChatGPT Astra、Claude Fable等），使用证明助手Lean将庞加莱猜想的完整数学证明形式化为约470万行可验证代码，首次实现该千禧年难题的机器全自动验证，其中佩雷尔曼原始工作仅占六分之一，其余为补全的基础数学与Ricci流理论。
谷歌加速推进Gemini 4研发，确认其已进入后训练早期阶段；同步推动TPU芯片上天测试，与Planet公司合作通过SpaceX发射搭载4颗TPU的卫星验证太空AI算力可行性；同时因AI发展过快引发内部工程师伦理担忧而辞职，凸显技术狂奔背后的治理挑战。
Anthropic公司旗下Claude模型在数千美元算力成本下，仅靠提示词驱动，几乎无人监督地完成N=4超杨‑米尔斯理论九圈散射振幅计算，打破人类保持三年的八圈纪录，获前纪录保持者兰斯·迪克逊核验并称其震撼。该突破验证了AI在理论物理符号计算中的工程执行能力，但未提出新物理方法。
谷歌发布新一代大模型Gemini 4 Pro，实测在3D物理模拟、代码生成、长文本推理及AI智能体能力上大幅超越Opus 5.5和GPT-6等竞品；其预训练仅耗时两个月即进入后训练阶段，支持1000万上下文、自主联网与机器人控制，定价极具竞争力，预计十一前后正式发布。
Anthropic、谷歌和OpenAI近期未官宣即上线新一代大模型Opus 5.2与Gemini 4 Pro，采用灰度路由、第三方盲测等隐蔽方式快速部署，以降低发布风险、获取真实负载数据并规避政策与口碑不确定性，反映行业正压缩传统发布会流程，转向更务实、敏捷的模型交付模式。
文章报道谷歌疑似在AI竞技场Arena泄露下一代旗舰模型Gemini 4 Pro，其性能远超已发布的Gemini 3.8 Flash，在编码、Agent、推理等基准测试中大幅领先GPT-6 Astra和Claude Fable；该传闻引发对RSI（递归自我改进）技术加速AI研发进程的广泛关注，并揭示前沿AI公司‘减速倡议’与实际竞相发布新模型之间的矛盾。
